-- Integer power test program
-- ==
-- input {
--   0 0
-- }
-- output {
--   1
-- }
-- input {
--   1 0
-- }
-- output {
--   1
-- }
-- input {
--   0 10
-- }
-- output {
--   0
-- }
-- input {
--   2 3
-- }
-- output {
--   8
-- }
-- input {
--   2 16
-- }
-- output {
--   65536
-- }

def main (x: i32) (y: i32) : i32 =
  x ** y
